Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation
XiangShan Vector Floating-Point Unit Design
docs.xiangshan.cc·1d·
Discuss: Hacker News
🔢Bit Manipulation
"Bridge sorting" problem
reddit.com·15h·
Discuss: r/compsci
🪢Rope Data Structures
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·1h
📱Bytecode Design
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1h·
Discuss: DEV
🌳Pattern Match Compilation
Property-based testing of batch-invariant operations
mmaaz.ca·7h·
Discuss: Hacker News
🎲Property Testing
Highly concurrent in-memory counter in GoLang
engineering.grab.com·5h
🧠Memory Models
Bulk operations in Boost.Bloom
bannalia.blogspot.com·1d·
Discuss: r/cpp
🌸Bloom Indexing
News for September 2025
ptreview.sublinear.info·1d
🎲Property Testing
Database Normalization
dev.to·12h·
Discuss: DEV
🎓Educational Databases
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·12h·
Discuss: r/programming
🧠Memory Models
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·1h
🧩Constraint Solvers
Binary: The Language That Runs the World (and Your Wi-Fi)
dev.to·1d·
Discuss: DEV
📡Binary Protocols
Detecting Notational Errors in Digital Music Scores
arxiv.org·1h
🔍Text Indexing
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·10h·
Discuss: Hacker News
🔢Algebraic Datatypes
A grand week
blog.mitrichev.ch·16h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·1h
🎲Parser Fuzzing
On This Day in Math - October 6
pballew.blogspot.com·54m·
Discuss: www.blogger.com
πPi Calculus
Using Information Entropy To Make Choices / Choose Experiments
blog.demofox.org·2h
🔗Hash Functions
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·11h
🧮Combinator Calculus